More from this Author

The Way of Z

by Jonathan Jacky

Model-Based Software Testing and Analysis with C#

by Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte